classical category defined by necessary and sufficient conditions